161. Kolmogorov complexity and computational complexity
پدیدآورنده: Osamu Watanabe )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Kolmogorov complexity,Congresses ، Computational complexity
رده :
QA
267
.
7
.
K65
1992
162. Komplexitat von Entscheidungsproblemen : ein Seminar
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Godel's theorem-- Congresses,، Computational complexity-- Congresses,، Turing machines
رده :
QA
9
.
65
.
K65
163. Komplexitat von Entscheidungsproblemen : ein Seminar
پدیدآورنده: editors Ernst Specker, Volker Strassen
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Godel's theorem,Congresses ، Computational complexity,، Turing machines
رده :
QA
76
.
L4
v
.
43
164. Komplexitat von Entscheidungsproblemen : ein seminar
پدیدآورنده: edited by Ernst Specker, Volker Strassen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Godel's theorem,Congresses ، Computational complexity,، Turing machines
رده :
QA
76
.
L28
Vol
.
43
165. Lectures on a theory of computation and complexity over the reals
پدیدآورنده: Lenore Blum
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computational complexity
رده :
QA
267
.
7
.
B58
166. Logic-Based Program Synthesis and Transformation
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic programming -- Congresses,Computational complexity -- Congresses,Logics and Meanings of Programs,برنامهنویسی منطقی -- کنگرهها,پیچیدگی محاسباتی -- کنگرهها
رده :
E-Book
,
167. Logic, algebra and computation
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic Programming- Congresses ► Algebra- Congresses ► Computational Complexity- Congresses
رده :
005
L832
168. Logic, algebra, and computation: international summer school directed by F.L. Bauer ... [et al.]
پدیدآورنده: / edited by Friedrich L. Bauer
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Logic programming- Congresses,Algebra- Congresses,Computational complexity- Congresses
رده :
QA76
.
63
.
L618
1991
169. Logic, algebra, and computation : international summer school directed by F.L. Bauer ... )et al.(
پدیدآورنده: edited by Friedrich L. Bauer
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Logic programming,Congresses ، Algebra,Congresses ، Computational complexity
رده :
QA
76
.
63
.
L618
1991
170. Logic, algebra, and computation : international summer school directed by F.L. Bauer ... (et al.)
پدیدآورنده: / edited by Friedrich L. Bauer
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Logic programming - Congresses,Algebra - Congresses,Computational complexity - Congresses
رده :
QA76
.
63
.
L618
1991
171. Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical-- Congresses,، Computational complexity-- Congresses
رده :
QA
9
.
A1
.
L625
1995
172. Logic and computer science
پدیدآورنده: / Edited by Piergiorgio Odifreddi
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic, Symbolic and mathematical -- Congresses,Programming (Mathematics) -- Congresses,Computational complexity -- Congresses
رده :
QA
9
.
L6
1990
173. Logic and computer science : lectures given at the 1st Session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
پدیدآورنده: S. Homer ... ]et al.[; editor, P. Odifreddi
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
3
.
L28
Vol
.
1429
174. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
پدیدآورنده: S. Homer...]et al.[; editor, P. Odifreddi
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
3
.
L28
no
.
1429
175. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical-- Congresses,، Programming )Mathematics(-- Congresses,، Computational complexity-- Congresses
رده :
QA
3
.
L28
no
.
1429
176. Logic and computer science: lectures given at the 1st session of the centro internazioale matematico Estive )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
پدیدآورنده: S. Homer...]et al.[; editor, P. Odifreddi
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
9
.
L63
1990
177. Logic and machines : decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut fur Mathematische Logik und Frundlagenforschung der Universitat Munster/Westfalen
پدیدآورنده: Symposium "Rekursive Kombinatorik")3891:Institut fur Mathematische Logik und Grundlagenforschung der Universitat Munster/Westfalen(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory--Congresses,، Computational complexity--Congresses,، Decision-making--Congresses
رده :
QA
267
.
S98
1983
178. Machines, languages, and complexity
پدیدآورنده: / 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988 : selected contributions
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computers -- Congresses,Programming languages (Electronic computers) -- Congresses,Computational complexity -- Congresses
رده :
QA
76
.
5
.
I5773
1988
179. Machines, languages, and complexity
پدیدآورنده: International Meeting of Young Computer Scientists, )5th, 8891, Smolenice, Czechoslovakia(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computers-- Congresses,، Programming languages )Electronic computers(-- Congresses,، Computational complexity-- Congresses
رده :
QA
76
.
5
.
I5773
1988
180. Machines, languages, and complexity : 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988
پدیدآورنده: Selected contributions, J. Dassow, J. Kelemen, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computers,Congresses ، Programming languages )Electronic computers(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
381
